Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 2930, 2013. Revised Selected Papers

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer International Publishing 2014 Utgivningsland okänt / Ej specificerat